<?php
require dirname(__FILE__) . '/../../config/config.php';

# Send ending signal to the evaluator
# (just create the file)
touch($conf['php-sigkill']);

# end
exit;
